#include "startup.c"

int main(int argc, char* argv[]) {
  puts("Hello World.\n");
  return 0;
}
